|
In the mathematical field of topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ordinary sphere. Discovered by Heinz Hopf in 1931, it is an influential early example of a fiber bundle. Technically, Hopf found a many-to-one continuous function (or "map") from the -sphere onto the -sphere such that each distinct ''point'' of the -sphere comes from a distinct ''circle'' of the -sphere . Thus the -sphere is composed of fibers, where each fiber is a circle — one for each point of the -sphere. This fiber bundle structure is denoted : meaning that the fiber space (a circle) is embedded in the total space (the -sphere), and (Hopf's map) projects onto the base space (the ordinary -sphere). The Hopf fibration, like any fiber bundle, has the important property that it is locally a product space. However it is not a ''trivial'' fiber bundle, i.e., is not ''globally'' a product of and although locally it is indistinguishable from it. This has many implications: for example the existence of this bundle shows that the higher homotopy groups of spheres are not trivial in general. It also provides a basic example of a principal bundle, by identifying the fiber with the circle group. Stereographic projection of the Hopf fibration induces a remarkable structure on , in which space is filled with nested tori made of linking Villarceau circles. Here each fiber projects to a circle in space (one of which is a line, thought of as a "circle through infinity"). Each torus is the stereographic projection of the inverse image of a circle of latitude of the -sphere. (Topologically, a torus is the product of two circles.) These tori are illustrated in the images at right. When is compressed to a ball, some geometric structure is lost although the topological structure is retained (see Topology and geometry). The loops are homeomorphic to circles, although they are not geometric circles. There are numerous generalizations of the Hopf fibration. The unit sphere in complex coordinate space fibers naturally over the complex projective space with circles as fibers, and there are also real, quaternionic, and octonionic versions of these fibrations. In particular, the Hopf fibration belongs to a family of four fiber bundles in which the total space, base space, and fiber space are all spheres: : : : : By Adams' theorem such fibrations can occur only in these dimensions. The Hopf fibration is important in twistor theory. ==Definition and construction== For any natural number ''n'', an ''n''-dimensional sphere, or n-sphere, can be defined as the set of points in an (''n''+1)-dimensional space which are a fixed distance from a central point. For concreteness, the central point can be taken to be the origin, and the distance of the points on the sphere from this origin can be assumed to be a unit length. With this convention, the ''n''-sphere, ''S''''n'', consists of the points (''x''1, ''x''2, …, ''x''''n'' + 1 ) in R''n'' + 1 with ''x''12 + ''x''22 + ⋯+ ''x''''n'' + 12 = 1. For example, the -sphere consists of the points (''x''1, ''x''2, ''x''3, ''x''4) in R4 with ''x''12 + ''x''22 + ''x''32 + ''x''42 = 1. The Hopf fibration of the -sphere over the -sphere can be defined in several ways. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Hopf fibration」の詳細全文を読む スポンサード リンク
|